Executing Metric Temporal Logic ?
نویسنده
چکیده
منابع مشابه
Invariant-driven specifications in Maude
This work presents a general mechanism for executing specifications that comply with given invariants, which may be expressed in different formalisms and logics. We exploit Maude’s reflective capabilities and its properties as a general semantic framework to provide a generic strategy that allows us to execute Maude specifications taking into account user-defined invariants. The strategy is par...
متن کاملROBUSTNESS OF THE TRIPLE IMPLICATION INFERENCE METHOD BASED ON THE WEIGHTED LOGIC METRIC
This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...
متن کاملSynthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae
The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as...
متن کاملExecuting Temporal Logic Programs
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and ot...
متن کاملMetric and Layered Temporal Logic for Time Granularity
This dissertation is about the design of temporal logics that deal with changing timegranularities. Time granularity can be de ned as the resolution power of the temporalquali cation of a statement. Providing a formalism with the concept of time granularitymakes it possible to specify time information with respect to di erently-grained temporaldomains. This does not merely m...
متن کامل